simple universal algebra

单泛代数